منابع مشابه
Finite Precision Measurement
Only nite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in S 2 , can be colored so that the contradiction with hidden variable theories provided by Kochen-Specker constructions does not obtain. Thus, in contrast to violation of the Bell inequalities, no quantum-over-classical ...
متن کاملFinite Precision Elementary Geometric Constructions
In this paper we propose a new approach for the robust computation of the nearest integer lattice points of some specific geometric constructions (intersection of two planar segments, circumcenter of a planar triangle and of a spatial tethraedron). Given that the data and the final results of the geometric constructions are stored using single precision floating point representation (typically ...
متن کاملMatrix Powers in Finite Precision Arithmetic
If A is a square matrix with spectral radius less than 1 then A k 0 as k c, but the powers computed in finite precision arithmetic may or may not converge. We derive a sufficient condition for fl(Ak) 0 as k x) and a bound on [[fl(Ak)[[, both expressed in terms of the Jordan canonical form of A. Examples show that the results can be sharp. We show that the sufficient condition can be rephrased i...
متن کاملStatic Analysis of Finite Precision Computations
We define several abstract semantics for the static analysis of finite precision computations, that bound not only the ranges of values taken by numerical variables of a program, but also the difference with the result of the same sequence of operations in an idealized real number semantics. These domains point out with more or less detail (control point, block, function for instance) sources o...
متن کاملIs Finite Precision Arithmetic Useful For Physics?
Both empirical sciences and computations are fundamentally restricted to measurements/computations involving a nite amount of information. These activities deal with the FINITE { some nite precision numbers, coming out from measurements, or from calculations run for some nite amount of time. By way of contrast, as Leibniz expressed it, mathematics is the science of the INFINITE, which contains ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algorithmica
سال: 2000
ISSN: 0178-4617,1432-0541
DOI: 10.1007/s004530010006